Unifying Class-Based Representation Formalisms

The notion of class is ubiquitous in computer science and is central in many formalisms for the representation of structured knowledge used both in knowledge representation and in databases. In this paper we study the basic issues underlying such representation formalisms and single out both their common characteristics and their distinguishing features. Such investigation leads us to propose a unifying framework in which we are able to capture the fundamental aspects of several representation languages used in different contexts. The proposed formalism is expressed in the style of description logics, which have been introduced in knowledge representation as a means to provide a semantically well-founded basis for the structural aspects of knowledge representation systems. The description logic considered in this paper is a subset of first order logic with nice computational characteristics. It is quite expressive and features a novel combination of constructs that has not been studied before. The distinguishing constructs are number restrictions, which generalize existence and functional dependencies, inverse roles, which allow one to refer to the inverse of a relationship, and possibly cyclic assertions, which are necessary for capturing real world domains. We are able to show that it is precisely such combination of constructs that makes our logic powerful enough to model the essential set of features for defining class structures that are common to frame systems, object-oriented database languages, and semantic data models. As a consequence of the established correspondences, several significant extensions of each of the above formalisms become available. The high expressiveness of the logic we propose and the need for capturing the reasoning in different contexts forces us to distinguish between unrestricted and finite model reasoning. A notable feature of our proposal is that reasoning in both cases is decidable. We argue that, by virtue of the high expressive power and of the associated reasoning capabilities on both unrestricted and finite models, our logic provides a common core for class-based representation formalisms

A Quantitative Analysis of Charmonium Suppression in Nuclear Collisions

Data from J/psi and psi' production in p-A collisions are used to determine the cross section for absorption of pre-resonance charmonium in nuclear matter. The J/psi suppression in O-Cu, O-U and S-U collisions is fully reproduced by the corresponding nuclear absorption, while Pb-Pb collisions show an additional suppression increasing with centrality. We study the onset of this change in terms of hadronic comover interactions and conclude that so far no conventional hadronic description can consistently account for all data. Deconfinement, starting at a critical point determined by central S-U collisions, is in accord with the observed suppression pattern.Comment: 37 pages, 12 figures, uses epsfig style, LaTe

Graph-based task libraries for robots: generalization and autocompletion

In this paper, we consider an autonomous robot that persists over time performing tasks and the problem of providing one additional task to the robot's task library. We present an approach to generalize tasks, represented as parameterized graphs with sequences, conditionals, and looping constructs of sensing and actuation primitives. Our approach performs graph-structure task generalization, while maintaining task ex- ecutability and parameter value distributions. We present an algorithm that, given the initial steps of a new task, proposes an autocompletion based on a recognized past similar task. Our generalization and auto- completion contributions are eective on dierent real robots. We show concrete examples of the robot primitives and task graphs, as well as results, with Baxter. In experiments with multiple tasks, we show a sig- nicant reduction in the number of new task steps to be provided

Intersection of reality and fiction in art perception: pictorial space, body sway and mental imagery

Background The thesis of embodied cognition claims that perception of the environment entails a complex set of multisensory processes which forms a basis for the agent’s potential and immediate actions. However, in the case of artworks, an agent becomes an observer and action turns into a reaction. This raises questions about the presence of embodied or situated cognition involved in art reception. Aims The study aimed to assess the bodily correlates of perceiving fictional pictorial spaces in the absence of a possibility of an actual physical immersion or manipulation of represented forms. Method The subjects were presented with paintings by Vermeer and De Hooch, whilst their body sway and eye movements were recorded. Moreover, test and questionnaires on mental imagery (MRT, VVIQ and OSIQ) were administered. Results Three major results were obtained: (1) the degree of pictorial depth did not influence body sway; (2) fixations to distant elements in paintings (i.e. backgrounds) were accompanied by an increase in body sway; and (3) mental rotation test scores correlated positively with body sway. Conclusions Our results suggest that in certain cases— despite the fictional character of art—observers’ reactions resemble reactions to real stimuli. It is proposed that these reactions are mediated by mental imagery (e.g. mental rotation) that contributes to the act of representing alternative to real artistic spaces

Evidence on entrepreneurs in the United States: data from the 1989–2004 survey of consumer finances

Using data from the Federal Reserve Board’s Survey of Consumer Finances, the authors examine characteristics of entrepreneurs and the businesses they run. Their analysis confirms that business owners are important sources of saving and wealth creation in the U.S. and that they are less risk averse than other wealthy households. This discounts the notion that the wealth of entrepreneurs disproportionately reflects a buildup of precautionary balances to guard against financial risk.Consumer surveys ; Business enterprises

Supersymmetric Leptogenesis

We study leptogenesis in the supersymmetric standard model plus the seesaw. We identify important qualitative differences that characterize supersymmetric leptogenesis with respect to the non-supersymmetric case. The lepton number asymmetries in fermions and scalars do not equilibrate, and are related via a non-vanishing gaugino chemical potential. Due to the presence of new anomalous symmetries, electroweak sphalerons couple to winos and higgsinos, and QCD sphalerons couple to gluinos, thus modifying the corresponding chemical equilibrium conditions. A new constraint on particles chemical potentials corresponding to an exactly conserved $R$-charge, that also involves the number density asymmetry of the heavy sneutrinos, appears. These new ingredients determine the $3\times 4$ matrices that mix up the density asymmetries of the lepton flavours and of the heavy sneutrinos. We explain why in all temperature ranges the particle thermodynamic system is characterized by the same number of independent quantities. Numerical differences with respect to usual treatment remain at the ${\cal O}(1)$ level.Comment: 30 pages, 2 figures. Typos corrected, one reference added. Version published in JCA

μ\mu-ee conversion in nuclei and Z′^\prime physics

Together with the existence of new neutral gauge bosons, models based on extended gauge groups (rank $> 4$) often predict also new charged fermions. A mixing of the known fermions with new states with {\it exotic} weak-isospin assignments (left-handed singlets and right-handed doublets) will induce tree level flavour changing neutral interactions mediated by $Z$ exchange, while if the mixing is only with new states with {\it ordinary} weak-isospin assignments, the flavour changing neutral currents are mainly due to the exchange of the lightest new neutral gauge boson $Z^\prime$. We show that the present experimental limits on $\mu-e$ conversion in nuclei give a nuclear-model-independent bound on the $Z$-$e$-$\mu$ vertex which is twice as strong as that obtained from $\mu\to e e e$. In the case of E$_6$ models these limits provide quite stringent constraints on the $Z^\prime$ mass and on the $Z-Z^\prime$ mixing angle. We point out that the proposed experiments to search for $\mu-e$ conversion in nuclei have good chances to find evidence of lepton flavour violation, either in the case that new exotic fermions are present at the electroweak scale, or if a new neutral gauge boson $Z^\prime$ of E$_6$ origin lighter than a few TeV exists.Comment: Plain Tex, 24 pages, + 2 PostScript figure appended after \bye (and available upon request), UM-TH 93--08, FTUV 93-1

On fast CP violating interactions in leptogenesis

We show that when the relevant CP violating interactions in leptogenesis are fast, the different matter density asymmetries are determined at each instant by a balance condition between the amount of asymmetry being created and destroyed. This fact allows to understand in a simple way many features of leptogenesis in the strong washout regime. In particular, we find some non-trivial effects of flavour changing interactions that conserve lepton number, which are specially relevant in models for leptogenesis that rely heavily on flavour effects.Comment: V2: To match published version in JCAP. Minor changes, including one figure, with respect to V1. 17 pages, 4 figure

Field coverage and weed mapping by UAV swarms

The demands from precision agriculture (PA) for high-quality information at the individual plant level require to re-think the approaches exploited to date for remote sensing as performed by unmanned aerial vehicles (UAVs). A swarm of collaborating UAVs may prove more efficient and economically viable compared to other solutions. To identify the merits and limitations of a swarm intelligence approach to remote sensing, we propose here a decentralised multi-agent system for a field coverage and weed mapping problem, which is efficient, intrinsically robust and scalable to different group sizes. The proposed solution is based on a reinforced random walk with inhibition of return, where the information available from other agents (UAVs) is exploited to bias the individual motion pattern. Experiments are performed to demonstrate the efficiency and scalability of the proposed approach under a variety of experimental conditions, accounting also for limited communication range and different routing protocols. © 2017 IEEE

Biodiesel Mandate Laws in Argentina and Brazil: An Estimation of Soybean Oil Foregone Export Revenues

Replaced with revised version of paper 02/22/08.Research and Development/Tech Change/Emerging Technologies,